PetriNet相关论文
...
characteristics of reliability,maintainability,supportability and multi-state about a navigation monitor network under r......
Research on Dependability of Navigation Satellite Precise Orbit Determination Based on Regional Moni
For characteristics of satellite-ground operation,complex relationship,reliability,maintainability,and supportability,Pe......
将面向对象Petri网理论应用于集装箱码头装卸系统的建模研究，在分析该系统的基础上，建立了系统的基本对象Petri网模型，并借此建立了堆......
利用模糊理论和佩特里网理论,对机器人焊接柔性系统进行了建模研究,得到了具有模糊多信息特征的FSTCPN模型;结合佩特里网理论对模......
本文基于I-HTSPN模型和IGRS协议,提出了一种可应用于数字家庭背景下,生成具有交互性多媒体的制作系统。该多媒体制作系统通过对I-H......
Relay protection fault diagnosis is important for the security operation of power systems.In this paper,several artifici......
The concept of process expression of bounded Petri nets is presented.Moreover,an algorithm to find the process expressio......
环境问题的日益紧迫与企业碳交易试点的快速推进预示着个人碳交易机制(Personal Carbon Trading,PCT)有望在未来落地,这将极大地影......
Improved methods for scheduling flexible manufacturing systems based on Petri nets and heuristic sea
This paper proposes and evaluates two improved Petri net (PN)-based hybrid search strategies and their applications to f......
Abnormity control design and performance analysis of real-time data exchange software based on Petri
In many spaceflight measure and control software systems, varieties of measure data are exchanged between different soft......
The stability and robustness of routing protocol implementations (RPI) in a router are becoming more and more important ......
资金链是企业的生命线,研究资金周转周期对供应链整体绩效的影响,以资金周期为控制变量,以Petrinet建立三阶段线性供应链模型,设各......
采用两级解调的方法,优化了WDM/SDM光纤光栅传感复用系统的解调规则,探索了采用双解调系统,同时对光纤光栅传感阵列进行解调以提高......
基于Ｐｅｔｒｉ网模型研究自动制造系统的死锁问题，提出了一个通过简化系统的Ｐｅｔｒｉ网模型综合避免系统死锁控制的方法。该控制对系统的限制作用小，综......
首先对可生存性的定义以及其相关概念进行了描述与比较,接着针对目前可生存性的大多数定义不能判断一个系统的可生存性状况,对可生......
首先简介一般加时间Ｐｅｔｒｉ网模型及其使能规则和点火规则，然后给出几种典型的加时间的Ｐｅｔｒｉ网模型及其动态行为及点火规则，其中，通讯时间Ｐｅｔｒｉ网侧重于......
软件体系结构是软件工程中一个新兴的研究热点，但是没有一个比较通用的描述规范，因此体系结构的完整性，一致性和正确性等都无法保证，该......
在敏捷制造系统中，企业经常组成动态联盟.在联盟中，每一个企业需要知道它要参与哪些活动，各活动的发生顺序以及在活动中必须和哪些企......
Petri网是对业务流程进行描述和分析的有效工具,但已有的基于Petri网的建模方法无法体现流程中关键业务数据的变化 .Artifact作为......
采用生产者／消费者通信模型建立了轮询协议模型。轮询请求帧由主节点广播至生产节点，轮询响应帧由生产节点广播至所有消费节点，协议同......
随着信息技术和管理理论的发展，工作流技术正在成为当今技术的热点。于是对于工作流管理系统的描述和验证也变得越来越重要了。Petr......
根据PetriNet理论提出了基于扩展P/T_系统的工作流模型及执行算法,并论证了保证工作流模型正确性的条件.该方法在模型的流关系上具......
根据PetriNet理论提出了基于扩展P/T_系统的工作流模型及执行算法,并论证了保证工作流模型正确性的条件.该方法在模型的流关系上具......
故障树是表示故障发生和故障传播关系的一种逻辑模型，基于故障树诊断方法的广泛应用由于实际故障树分析过程的ＮＰ困难问题而受到妨碍。......
Petri网是协议形式化描述的优选模型．本文对高性能协议进行了深入的研究．并针对高性能协议更高的形式化描述要求．分别从语文、同步特......
介绍了一种应用基于赋时颜色Petri网来实现电力系统故障诊断的方法.基于赋时颜色Petri网建立的故障诊断模型能更准确地模拟继电保......
隐变迁是指存在于事件日志中的不频繁行为,从流程模型中挖掘出隐变迁,提高流程运行效率和服务质量显得尤为重要。已有的方法大部分......
概述工作流技术，介绍基于数据库的工作流参考模型及基于PetriNet的工作流建模，分析目前工作流技术存在的不足，提出了基于数据库的工作......
首先分析了并行程序的特点，在此基础上，提出并行程序设计的若干Ｐｅｔｒｉ网方法。这些在一定程度上助于减少或避免一些逻辑错误的出现，从而减轻......
针对飞机设计流程建模中遇到的建模过程复杂,主观性强等情况,提出了基于协同模式的建模方法。从某飞机设计实践出发,结合以往设计......
对象合成Ｐｅｔｒｉ网可方便地描述多媒体对象的时间同步关系，在讨论多媒体数据加的时间同步问题后，给出可用于多媒体数据中对象同步关系的描述......
目前业务流程模型优化是业务流程管理的核心内容之一,对于购物支付流程模型的优化是涉及顾客和商家利益的关键。目前已提出了一些......
确定性、无决策的离散事件动态系统(DEDS)可以表述为代数系Dioid上的线性模型并由此进行一些有效的分析。本文首先对Dioid理论做了......
Petri网已经逐渐成为异步并发现象建模的重要工具,Petri网的硬件实现将为网系统性能分析以及并行控制器的设计提供一种有效的途径.......
为解决当前系统开发不同阶段采用的方法缺乏继承性与连贯性等问题，提出采用Petri网实现系统统一建模与开发的思想。在现有的子网研......
为处理好变电站故障诊断问题中故障源和故障征兆间因果关系的不确定性,本文提出了基于故障群组合优化的故障诊断方法.在建立保护配......
根据热级联分析法的基本思想,在优化设计连续过程换热网络的自组织PetriNet模型中,引入时间库所表示间歇过程时间,使其适合于优化......
以往应用系统故障诊断模糊行为PETRI网中规则的可信度为固定常数,由于泵站工作状况在改变,因此,应用在泵站系统时,提出了以谓词变......
传统的软件过程模型存在开发效率不高,可移植性差,重用粒度小等缺点.Petri网由于自身的特点,可用于形式化描述软件过程,学术界已有......
研究了使用人工神经网络和加权模糊Petri网对故障进行诊断的方法。针对传统Petri网难以精确地描述故障现象和故障原因之间的复杂关......
本文将机器学习引入数据库设计中,因此,在与用户交互过程中能获取知识,并能引导非计算机专业用户设计他所需要的高质量的数据库.更......
解决带重人加工工艺的双臂组合设备的调度问题是非常困难的。如果采用交换策略调度该系统，系统将处于一个3-晶圆周期性调度过程。为......
针对ERP系统中出现的并发事件，提出了利用Petrinet理论化解事件冲突的方法，分析了Petrinet对ERP进行描述的可行性。......
高速飞行器在遇到外部大气扰动和伺服故障事件导致状态失稳时，对于不同的故障事件采用不同的控制策略。为了使飞行器能够自主的辨别......
ＦＵＺＺＹＰＥＴＲＩＮＥＴＦＯＲＦＡＵＬＴＤＩＡＧＮＯＳＩＳＷｕｙａｎｆａｎｇ；ＷｅｉＺｈｏｎｇｘｉｎ．（ＤｅｐａｒｔｍｅｎｔｏｆＭｅｃｈａｎｉｃａｌＥｎｇｉｎｅｅｒｉｎｇ，ＮａｎｊｉｎｇＵｎｉｖｅｒｓｉｔｙｏｆＡｅｒｏｎａｕｔｉｃｓａｎｄＡｓｔｒｏ.........
采用将分层PetriNet和T组合PetriNet相结合的方法，构建了钢坯磷化PLC控制系统的PetriNet模型，并采用T组合PetriNet的方法对系统性能......
针对数控机床可靠性智能网络系统研究中系统更新和维护困难的现状,引入了系统模型化工具Petri net,在分析智能网络系统本身、可靠......
本文Ｐｅｔｇｒｉ网良好的离散事件动态表达和计算机能力以及图形表示的直观性，建立市场需求预测问题的Ｐｅｔｒｉ网模型，并对模型的动态并发 问题进行分析......
